The model does not relate to hardware. It defines the semantics for both plain nesting, closed and open nesting, and describes the memory states as seen by each transaction, memory access conflicts, commits and aborts actions. 该模型与硬件无关,定义了平面事务、闭合事务和开放事务在各种操作下的语义,描述了事务所能见的内存状态、内存访问冲突、提交与夭折动作。